Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
271	GEOMETRIC PRESENTATIONS FOR THOMPSON’S GROUPS PATRICK DEHORNOY Abstract. Starting from the observation that Thompson’s groups F and V are the geometry groups respectively of associativity, and of associativity togeth Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2005-01-30 12:40:09 Semigroup theory Algebraic structures Group theory Group action Monoid Semigroup action Equivalence relation Inverse semigroup Inverse element Abstract algebra Algebra Mathematics
272	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
273	Diskrete Mathematik HS 13 Zusammenfassung 2. Mathematical Reasoning, Proofs, and a Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2013-12-03 07:47:00 Equivalence relation Cartesian product Adjacency matrix Tree Filter Matroid Mathematics Graph theory Graph
274	Foundational Math I – Segment 1 Michael L. Carroll Feb 17, 2003 Add to Reading List Source URL: www.csz.com Language: English - Date: 2002-12-14 09:24:51 Equivalence relation Binary relation Function Finitary relation Implementation of mathematics in set theory Trichotomy Mathematics Mathematical logic Order theory
275	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes Hans Huttel { [removed] Department of Computer Science Aalborg University Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:01:13 Bisimulation Logic in computer science Method of analytic tableaux Equivalence relation Differential equation Process calculus Theoretical computer science Applied mathematics Mathematics
276	DEPENDENCE RELATION IN PREGEOMETRIES RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2000-04-25 12:42:37 Order theory Matroid theory Pregeometry General topology Closure operator Equivalence relation Forking extension Closure Dependence relation Mathematics Model theory Mathematical logic
277	Descriptive Set Theory, Equivalence Relations, and Classification Problems in Analysis by Add to Reading List Source URL: www.its.caltech.edu Language: English - Date: 2001-09-29 05:40:26 Descriptive set theory Borel set Borel equivalence relation Wadge hierarchy Space Metric space Axiom of choice Polish space Equivalence relation Mathematical logic Set theory Mathematics
278	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, Pages 119–135 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:40:27 Algebra Motive Interpretation Representation theory Function Constructible universe Formal power series Motivic integration Equivalence relation Mathematics Abstract algebra Algebraic geometry
279	Extracting Social Networks among Various Entities on the Web YingZi Jin1 , Yutaka Matsuo2 , and Mitsuru Ishizuka1 Add to Reading List Source URL: ymatsuo.com Language: English - Date: 2007-03-23 19:25:00 Mutual information Social networking service Semantic Web Equivalence relation Google Search FO Mathematics Function Finitary relation
280	Programming in Martin-L¨ of ’s Type Theory Add to Reading List Source URL: www.ens-lyon.fr Language: English - Date: 2011-02-09 11:14:25 Cardinal numbers Function Naive set theory Finite set Constructible universe Equivalence relation Infinite set Well-order Set Mathematics Mathematical logic Set theory